$p$ = $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($p$) = 1of($q$) $\wedge_{2}$ 2of($p$)=$_{2}$2of($q$)